CBMC_GC_FLAGS += --arith mpc_main --bool boolean --merge
include ../make_tester.inc

